theoretical computer science meaning in Chinese

理论计算机科学
理论计算机学

Theoretical computer science , 2001 , 259 : 475 - 492
闭包属性在计算机理论科学中应用很广。
Building the region s strongest theoretical computer science group
成立区内最强的计算机科学理论研究小组
Theoretical computer science centre , to be set up within the computer science engineering department
学系共设教研职位，以鼓励相关学系的合作研究
Theoretical computer science , 1997 , 175 : 127 - 158 . 3 toyama y . how to prove equivalence of term rewriting systems without induction
本方法基于覆盖集合归纳法和项重写系统的元计算模型：动态项重写计算。
3 pnueli a . a temporal logic of concurrent programs . theoretical computer science , 1981 , 13 : 45 - 60 . 4 mcmillan k l . symbolic model checking
符号化的模型检测技术利用二叉图binary decision diagram表示状态转换关系，降低了系统模型所需的内存空间。

More: Next